Biodiversity Created by Behavioral Tactics

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Playing Creative Soccer: Randomized Behavioral Kinodynamic Planning of Robot Tactics

Modern robot soccer control architectures tend to separate higher level tactics and lower level navigation control. This can lead to tactics which do not fully utilize the robot’s dynamic actuation abilities. It can furthermore create the problem of the navigational code breaking the constraints of the higher level tactical goals when avoiding obstacles. We aim to improve such control architect...

متن کامل

Reformulating Resolution Problems by Tactics

A straightforward formulation of a mathematical problem is mostly not adequate for resolution theorem proving. We present a method to optimize such formulations by exploiting the variability of rst-order logic. The optimizing transformation is described as logic morphisms, whose operationalizations are tactics. The diierent behaviour of a resolution theorem prover for the source and target form...

متن کامل

Complex networks created by aggregation.

We study aggregation as a mechanism for the creation of complex networks. In this evolution process vertices merge together, which increases a number of highly connected hubs. We study a range of complex network architectures produced by the aggregation. Fat-tailed (in particular, scale-free) distributions of connections are obtained for both networks with a finite number of vertices and growin...

متن کامل

Metafol: Program Tactics and Logic Tactics plus Reflection Metafol: Program Tactics and Logic Tactics plus Reeection

universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: TRENDS IN THE SCIENCES

سال: 2010

ISSN: 1884-7080,1342-3363

DOI: 10.5363/tits.15.3_105